ìììí, Ʞ볞 ê°ë , êž°ííì ìì±, ìì ê³µê° ë° ë€ìí ë¶ìŒììì ìì©ì ëí í¬êŽì ìž í구.
ìììí: êž°ííì ìì±ê³Œ ê³µê° í구
ìììíì ë늬Ʞ, ë¹íêž°, 구ꞰꞰ, 구ë¶ëŠ¬êž°ì ê°ì ì°ìì ìž ë³í íììë 볎졎ëì§ë§, 찢거ë ë¶ìŽë ê²ì íì©ëì§ ìë êž°ííì ëìì ìì±ì ì°êµ¬íë ìíì í ë¶ìŒì ëë€. 거늬ë ê°ëì ê°ì ì ë°í ìž¡ì ì ë€ë£šë êž°íí곌 ë¬ëЬ, ìììíì ì°ê²°ì±, 겜ê³, 구ë©ê³Œ ê°ì ì§ì ìž ìž¡ë©Žì ì€ì ì ë¡ëë€. ìŽë¡ ìžíŽ ë¬ŒëŠ¬í곌 컎íší° 곌íììë¶í° ë°ìŽí° ë¶ì, ì¬ì§ìŽ ì¬í 곌íì ìŽë¥Žêž°ê¹ì§ ë€ìí ë¶ìŒì ë³µì¡í 구조륌 ìŽíŽíë ê°ë ¥í ëêµ¬ê° ë©ëë€.
ìììíìŽë 묎ììžê°?
íµì¬ì ìŒë¡ ìììíì ì°ìì ìž ë³í íììë ë³íì§ ìë ê³µê°ì ìì±ì ë€ë£¹ëë€. 컀íŒì»µìŽ ì°ìì ìŒë¡ ëë(ìí첎)ìŒë¡ ë³íëë ê²ì ììíŽ ë³Žìžì. ìììíì êŽì ìì ìŽ ëì ëìŒí ê²ìŒë¡ ê°ì£Œë©ëë€. íëê° ë€ë¥ž ê²ìŒë¡ 찢거ë ë¶ìŽì§ ìê³ ë³íë ì ìêž° ë묞ì ëë€. ìŽë¬í "ëë±ì±"ì ìììíì íµì¬ ê°ë ìŽë©° ììëíì¬ì(homeomorphism)ìŽëŒë ê°ë ì íµíŽ ê³µìíë©ëë€.
ììëíì¬ì: ììì ëë±ì±
ììëíì¬ìì ì°ìì ìž ìíšì륌 ê°ë ì°ìì ìž ì ëšì¬ íšì(ìŒëìŒ ëì)ì ëë€. ë ìì ê³µê° ì¬ìŽì ìŽë¬í íšìê° ì¡Žì¬íë€ë©Ž, ê·žë€ì ììëí ëë ììì ìŒë¡ ëë±íë€ê³ ê°ì£Œë©ëë€. ìŽë ê·žë€ìŽ ëìŒí Ʞ볞ì ìž ììì ìì±ì ê°ì§ê³ ììì ì믞í©ëë€. ì륌 ë€ìŽ:
- ì곌 ì ì¬ê°íì ììëíì ëë€.
- ììŽ ì°¬ 구ì ì ì¡ë©Žì²Žë ììëíì ëë€.
- 컀íŒì»µê³Œ ëë(ìí첎)ì ììëíì ëë€.
íì§ë§ ì곌 ì ë¶ì ììëíìŽ ìëëë€. ììë "구ë©"ìŽ ìì§ë§ ì ë¶ìë ìêž° ë묞ì ëë€. ë§ì°¬ê°ì§ë¡ 구ì ìí첎ë 구ë©ì ìê° ë€ë¥Žêž° ë묞ì ììëíìŽ ìëëë€.
ìììíì Ʞ볞 ê°ë
ìììíì ìŽíŽíë €ë©Ž ëª ê°ì§ íµì¬ ê°ë ì ìµìíŽì žìŒ í©ëë€:
ìì ê³µê°
ìì ê³µê°ì ìììŽ ë¶ì¬ë ì§í©ìŒë¡, ì¬êž°ì ììì í¹ì 공늬륌 ë§ì¡±íë ìŽëа ì§í©ìŽëŒ ë¶ëЬë ë¶ë¶ì§í©ë€ì 몚ìì ëë€:
- ê³µì§í©ê³Œ ì 첎 ê³µê°ì ìŽëа ì§í©ì ëë€.
- ììì ê°ìì ìŽëа ì§í©ì í©ì§í©ì ìŽëа ì§í©ì ëë€.
- ì í ê°ì ìŽëа ì§í©ì êµì§í©ì ìŽëа ì§í©ì ëë€.
ìŽëа ì§í©ì ì íì ê³µê°ì "ìì"ì ì ìíê³ ìŽë€ íšìê° ì°ììŒë¡ ê°ì£Œëëì§ë¥Œ ê²°ì í©ëë€. ê°ì¥ ìŒë°ì ìž ìë 볎íµì ìŽëа 구ê°(ì€ìì ìì), ìŽëа ìí(í멎ìì), ëë ìŽëа ê³µ(3ì°šì ê³µê°ìì)ì ìŽëа ì§í©ìŒë¡ ê°ë ì íŽëЬë ê³µê°(ì: ì€ìì , í멎, 3ì°šì ê³µê°)ì ëë€.
ìŽëа ì§í©ê³Œ ë«í ì§í©
ììì ìžêžíë¯ìŽ, ìŽëа ì§í©ì ìì ê³µê°ì êµ¬ì± ììì ëë€. ë«í ì§í©ì ìŽëа ì§í©ì ì¬ì§í©ì ëë€. ìŽëа ì§í©ê³Œ ë«í ì§í©ì ê°ë ì ì°ìì±, ìë Ž ë° êž°í ì€ìí ìì±ì ì ìíë ë° ë§€ì° ì€ìí©ëë€.
ìì: ì€ìì ììì ìŽëа êµ¬ê° (a, b)ë ìŽëа ì§í©ìŽê³ , ë«í êµ¬ê° [a, b]ë ë«í ì§í©ì ëë€. 0곌 1 ì¬ìŽì ì 늬ì ì§í©ì ìŽëа ì§í©ë ë«í ì§í©ë ìëëë€.
ì°ìì±
ìììíìì ì°ìì±ì ìŽëа ì§í©ì êŽì ìì ì ìë©ëë€. ë ìì ê³µê° ì¬ìŽì íšìê° ì°ììŽëŒë ê²ì, ê³µìì ìë 몚ë ìŽëа ì§í©ì ìì(preimage)ìŽ ì ìììì ìŽëа ì§í©ìŽ ëë ê²ì ì믞í©ëë€. ìŽ ì ìë 믞ì ë¶íìì ìµìí ì¡ì€ë¡ -ëží ì°ìì± ì ì륌 ìŒë°íí ê²ì ëë€.
ìì: ì§êµ¬ì ì§ëЬì í¹ì§ì 2D ì§ëì í¬ìíë ì§ë륌 ìê°íŽ ëŽ ìë€. ìŽìì ìŒë¡ ìŽ ì§ëë ì°ìì ìŽìŽìŒ í©ëë€. ìŠ, ì§êµ¬ í멎ì ìŽìí ì§ìì 2D ì§ë ìììë ìŽìí ì§ììŒë¡ ë§€íëìŽìŒ í©ëë€. 찢거ë ì ë ê²ì ì°ìì±ì ìë°íê² ë©ëë€.
ì°ê²°ì±
ìì ê³µê°ìŽ ì°ê²°ëìŽ ìë€ë ê²ì, ê·ž ê³µê°ìŽ ìë¡ììž ë ê°ì ê³µì§í©ìŽ ìë ìŽëа ì§í©ì í©ì§í©ìŒë¡ ííë ì ìë€ë ê²ì ì믞í©ëë€. ì§êŽì ìŒë¡, ì°ê²°ë ê³µê°ì "í ë©ìŽëЬ"ë¡ ëìŽ ììµëë€. ì°ê²°ëì§ ìì ê³µê°ì ë¹ì°ê²° ê³µê°ìŽëŒê³ í©ëë€.
ìì: ì€ìì ì ì°ê²°ëìŽ ìì§ë§, ì ì ì§í©ì ë¹ì°ê²°ì ëë€(ê° ì ìë ê³ ëŠœë ì ì ëë€).
컎í©ížì±
컎í©ížì±ì ë 믞ë¬í ììì ìì±ì ëë€. ìì ê³µê°ìŽ ì»Ží©ížíë€ë ê²ì 몚ë ìŽëа ë®ê°ê° ì í ë¶ë¶ ë®ê°ë¥Œ ê°ëë€ë ê²ì ì믞í©ëë€. ë ê°ëší ë§íŽ, 컎í©íž ê³µê°ì ì묎늬 ìì ìŽëа ì§í©ìŽëŒë ì í ê°ì ìŽëа ì§í©ìŒë¡ "ë®ì" ì ììµëë€. ì íŽëЬë ê³µê°ìì ìŽë€ ì§í©ìŽ ì»Ží©ížíë€ë ê²ì ê·ž ì§í©ìŽ ë«í ìê³ ì ê³(bounded)ëŒë ê²ê³Œ ëì¹ì ëë€(íìŽë€-볎ë ì 늬).
ìì: ë«í êµ¬ê° [0, 1]ì 컎í©ížíì§ë§, ìŽëа êµ¬ê° (0, 1)곌 ì€ìì ì 컎í©ížíì§ ììµëë€.
ìììíì ë¶ìŒë€
ìììíì ëª ê°ì§ ì€ìí íì ë¶ìŒë¥Œ ê°ì§ êŽëí ë¶ìŒì ëë€:
ì ì§í© ìììí (ìŒë° ìììí)
ì ì§í© ìììíì ìììíì êž°ìŽì ëë€. ìŽê²ì ìŽëа ì§í©, ë«í ì§í©, ì°ìì±, ì°ê²°ì±, 컎í©ížì±ê³Œ ê°ì ìì ê³µê°ì ëí Ʞ볞ì ìž ì ìì ì 늬륌 ë€ë£¹ëë€. ìŽë ë ì 묞íë ìììí ë¶ìŒë¥Œ ì°êµ¬íêž° ìí íì ì ê³µí©ëë€.
ëìì ìììí
ëìì ìììíì êµ°, í, ê°êµ°ê³Œ ê°ì ëìì ë구륌 ì¬ì©íì¬ ìì ê³µê°ì ì°êµ¬í©ëë€. íµì¬ ììŽëìŽë ìì ê³µê°ì ëìì ë¶ë³ëì ì°êŽììŒ ë³žì§ì ìž ììì í¹ì§ì í¬ì°©íë ê²ì ëë€. ì륌 ë€ìŽ, ê³µê°ì Ʞ볞군ì ê³µê° ëŽì 룚íì ëí ì 볎륌 ìížííê³ , ížëª°ë¡ì§ êµ°ì ê³µê°ì "구ë©"ì ëí ì 볎륌 í¬ì°©í©ëë€. ëìì ìììíì ìì ê³µê°ì ë¶ë¥íê³ ê·žì ëí ì 늬륌 ìŠëª íë ë° ì¬ì©ë©ëë€. ìŽë ë§€ë ìŽë¡ ìŽë ë€ì첎 ì°êµ¬ì ê°ì ë¶ìŒìì ë§€ì° ì€ìí©ëë€.
ìì: Ʞ볞군ì 구ì ìí첎륌 구ë³í ì ììµëë€. 구 ìì 몚ë 룚íë ì°ìì ìŒë¡ í ì ìŒë¡ ì¶ìë ì ìì§ë§, ìí첎ìë í ì ìŒë¡ ì¶ìë ì ìë 룚íê° ììµëë€(ì: ìí첎ì "구ë©" 죌ì륌 ëë 룚í).
ë¯žë¶ ìììí
ë¯žë¶ ìììíì ë¯žë¶ ê°ë¥ ë€ì첎륌 ì°êµ¬íëë°, ìŽë êµìì ìŒë¡ ì íŽëЬë ê³µê°ì²ëŒ 볎ìŽê³ ë§€ëë¬ìŽ êµ¬ì¡°ë¥Œ ê°ì§ ê³µê°ì ëë€. ìŽë ë¯žë¶ ì ë¶í곌 ë¯žë¶ êž°ííì ë구륌 ì¬ì©íì¬ ì ê³µê°, 벡í°ì¥, ë¯žë¶ íì곌 ê°ì ë€ì첎ì ìì±ì ì°êµ¬í©ëë€. ë¯žë¶ ìììíì ë€ì첎ì ë¶ë¥, ë€ì첎ì ë§€ì¥(embedding)곌 몰ì (immersion), ê·žëŠ¬ê³ ì¬ìì í¹ìŽì ì°êµ¬ì ì¬ì©ë©ëë€.
êž°ííì ìììí
êž°ííì ìììíì ë€ì첎ì ë€ë¥ž ë€ì첎ë¡ì ë§€ì¥(embedding)ì ì€ì ì ëë©°, í¹í 2, 3, 4ì°šììì ê·žë ìµëë€. ìŽë ë¯žë¶ ìììí ë° ëìì ìììí곌 ê²¹ì¹ë©° ë ë¶ìŒì êž°ì ì 몚ë ì¬ì©í©ëë€. ì€ìí 죌ì ë¡ë ë§€ë ìŽë¡ , ꌬìêµ°, 3ì°šì ë° 4ì°šì ë€ì첎 ì°êµ¬ê° ììµëë€. êž°ííì ìììíì 묌늬í, í¹í ë ìŽë¡ ë° ììì¥ ìŽë¡ 곌 ê¹ì êŽë šìŽ ììµëë€.
ìììíì ìì©
ìììíì êŽë²ìí ë¶ìŒì ìì©ë©ëë€:
묌늬í
묌늬íìì ìììíì ë€ì곌 ê°ì ë€ìí íìì ì°êµ¬íë ë° ì¬ì©ë©ëë€:
- ìì§ ë¬Œì§ ë¬ŒëŠ¬í: ìì ì ì°ì²Žë í멎ììë ì Ʞ륌 ì ëíì§ë§ ëŽë¶ììë ì ì°ì²Žë¡ ìì©íë 묌ì§ì ëë€. ìŽë€ì ììì í¹ì±ì ë¶ì묌곌 ê²°íšìŒë¡ë¶í° 볎íží©ëë€.
- ììì¥ ìŽë¡ : ìêž° íê·¹ìŽë ì°ì£Œ ë곌 ê°ì ììì ê²°íšì ìëª íì§ ìì ììì ìì±ì ê°ë í¹ì ì¥ ë°©ì ìì íŽì ëë€.
- ì°ì£Œë¡ : ì°ì£Œì ììì ìì§ íŽê²°ëì§ ìì 묞ì ì ëë€. êŽìž¡ ê°ë¥í ì°ì£Œë íííŽ ë³ŽìŽì§ë§, ì ìì ìž ììì ë ë³µì¡í ì ììŒë©°, ìëª íì§ ìì ì°ê²°ì±ìŽë ì¬ë¬ ì°ê²° ìì륌 ê°ì§ ì ììµëë€.
컎íší° 곌í
컎íší° 곌íìì ìììíì ë€ì곌 ê°ì ë¶ìŒìì ì¬ì©ë©ëë€:
- 컎íší° ê·žëíœì€: ìììíì 3D ê°ì²Žë¥Œ íííê³ ì¡°ìíë ë° ì¬ì©ë©ëë€. ê²œê³ íí ë° ëšì²Ž ë³µí©ì²Žì ê°ì ìì ë°ìŽí° 구조ë ê°ì²Žì êž°ííì ì ì¥íê³ ì²ëЬíë ë° ì¬ì©ë©ëë€.
- ë°ìŽí° ë¶ì: ìì ë°ìŽí° ë¶ì(TDA)ì í¬ê³ ë³µì¡í ë°ìŽí°ì ìì ì믞 ìë ì 볎륌 ì¶ì¶íêž° ìíŽ ììì ë°©ë²ì ì¬ì©í©ëë€. TDAë ë°ìŽí°ìì íŽë¬ì€í°, êµ¬ë© ë° êž°í ììì í¹ì§ì ìë³íë ë° ì¬ì©ë ì ììµëë€. ì륌 ë€ìŽ, ìì ížëª°ë¡ì§ë ì€ìŒìŒ ë§€ê°ë³ìê° ë³íšì ë°ëŒ ììì í¹ì§ì ì§í륌 ì¶ì íì¬ ë°ìŽí°ì 몚ìì ë¶ìíë ë° ì¬ì©ë©ëë€.
- ë¡ëŽ ê³µí: ìììíì ë³µì¡í í겜ìì ë¡ëŽì ì¶©ë ìë 겜ë¡ë¥Œ ì°Ÿêž° ìí ë¡ëŽ ê²œë¡ ê³íì ì¬ì©ë©ëë€. í겜ì ììì ë¡ëŽì 목í ì§ì ìŒë¡ ìëŽíë ë° ì¬ì©ë ì ììµëë€.
ë°ìŽí° 곌í
컎íší° 곌í ì¹ì ìì ìžêžíë¯ìŽ, ìì ë°ìŽí° ë¶ì(TDA)ì ë°ìŽí° 곌í ëŽìì ì±ì¥íë ë¶ìŒì ëë€. TDAë ë€ì곌 ê°ì ë í¹í ì ê·Œë²ì ì ê³µí©ëë€:
- í¹ì§ ì¶ì¶: ì íµì ìž íµê³ ë°©ë²ìŒë¡ë ëì¹ ì ìë ë°ìŽí°ì ì ì€ìí í¹ì§ì ìë³í©ëë€.
- ì°šì ì¶ì: íìì ìž ìì 구조륌 볎졎í멎ì ë³µì¡í ë°ìŽí°ë¥Œ ëšìíí©ëë€.
- íŽë¬ì€í°ë§: ëšìí ê±°ëŠ¬ê° ìë ììì êŽê³ì ë°ëŒ ë°ìŽí° í¬ìžížë¥Œ 귞룹íí©ëë€.
ì륌 ë€ìŽ, TDAë ì ì ì ë°í ë°ìŽí°ë¥Œ ë¶ìíì¬ ì§ë³ì íì ì íì ìë³íê±°ë, ìì ë€ížìí¬ë¥Œ ë¶ìíì¬ ì»€ë®€ëí°ë¥Œ íì§íë ë° ì¬ì©ë ì ììµëë€.
ê³µí
ìì ìµì íë 죌ìŽì§ ì€ê³ ê³µê° ëŽìì, 죌ìŽì§ íì€ ë° ê²œê³ ì¡°ê±Žì ëíŽ ì¬ë£ ë°°ì¹ë¥Œ ìµì ííì¬ ê²°ê³Œ ì€ê³ê° ê·ì ë ì±ë¥ 목í륌 충족íëë¡ íë ìíì ë°©ë²ì ëë€. ìì ìµì í륌 ì¬ì©í멎 ì íµì ìž ì€ê³ ë°©ë²ë³Žë€ ë ê°ë³ê³ , ë ëšëšíë©°, ë íšìšì ìž êµ¬ì¡°ë¥Œ ì€ê³í ì ììµëë€. ìì© ë¶ìŒë¡ë íê³µ ì°ì£Œ ê³µí, êž°ê³ ê³µí, í 목 ê³µíìŽ ììµëë€.
êž°í ë¶ìŒ
ìììíì ëí ë€ì곌 ê°ì ë¶ìŒììë ìì©ë©ëë€:
- 겜ì í: ê²ì ìŽë¡ 곌 ì¬í ì í ìŽë¡ ì ì ëµì ìíž ìì©ê³Œ í¬í ìì€í ì ë¶ìíêž° ìíŽ ììì ê°ë ì ì¬ì©í©ëë€.
- ì묌í: ìììíì ëšë°±ì§ê³Œ DNAì 구조ì êž°ë¥ì ì°êµ¬íë ë° ì¬ì©ë©ëë€.
- ì§ëЬí: ì§ëЬ ì 볎 ìì€í (GIS)ì ê³µê° ë°ìŽí°ë¥Œ íííê³ ë¶ìíêž° ìíŽ ìì ë°ìŽí° 구조륌 ì¬ì©í©ëë€.
ìììí ììíêž°
ìììíì ëíŽ ë ë°°ì°ê³ ì¶ë€ë©Ž, ììíë ë° ëììŽ ë ë§í ëª ê°ì§ ìë£ê° ììµëë€:
- ìì :
- Topology - James Munkres
- Basic Topology - M.A. Armstrong
- Algebraic Topology - Allen Hatcher (ìšëŒìžìì 묎ë£ë¡ ìŽì© ê°ë¥)
- ìšëŒìž ê°ì¢:
- Courseraì edXë ìììí ë° êŽë š 죌ì ì ëí ì 묞 ê°ì¢ë¥Œ ì ê³µí©ëë€.
- MIT OpenCoursewareë ìììíì ëí MIT ê°ì¢ì ê°ì ë žížì 묞ì ìžížì 묎ë£ë¡ ì ê·Œí ì ìëë¡ í©ëë€.
- ìíížìšìŽ:
- GUDHI ëŒìŽëžë¬ëЬ (ìì ë°ìŽí° ë¶ìì©, C++ ë° Python).
- Ripser (ìì ížëª°ë¡ì§ ê³ì°ì©, C++ ë° Python).
ê²°ë¡
ìììíì êŽë²ìí ë¶ìŒì ìì©ëë ë§€ë ¥ì ìŽê³ ê°ë ¥í ìí ë¶ìŒì ëë€. ì§ì ìì±ê³Œ ì°ì ë³íì ëí ì§ì€ì ë³µì¡í 구조륌 ìŽíŽíë ë° ë í¹íê³ ê·ì€í ëêµ¬ê° ë©ëë€. íì, ì°êµ¬ì, ì€ë¬Žì ë± ë구ìê²ë ìììíì í구íë ê²ì ì°ëЬ ì£Œë³ ìžê³ì ëí ìë¡ìŽ íµì°°ë ¥ê³Œ êŽì ì ì ê³µí ì ììµëë€. ìììíì ìŽíŽí멎 ìíì ì§ììŽ ëìŽì§ ë¿ë§ ìëëŒ, ì ìžê³ ë¶ìŒì ìí¥ì 믞ì¹ë ë€ìí 곌í ë° êž°ì ììì ì ì© ê°ë¥í ê·ì€í êž°ì ì ê°ì¶ê² ë ê²ì ëë€. í공Ʞ ì€ê³ë¥Œ ìµì ííë ê²ë¶í° ì°ì£Œì 구조륌 ë¶ìíë ê²ì ìŽë¥Žêž°ê¹ì§, ìììíì ìžë¥ê° ì§ë©Ží ê°ì¥ ìŽë €ìŽ ë¬žì ë€ì ë³Žê³ íŽê²°íë ë í¹í ë ìŠë¥Œ ì ê³µí©ëë€. ê·žë¬ë ìì ííì ì¬ì ì ììíê³ , ìŽ ëëŒìŽ ë¶ìŒì ìëŠë€ì곌 íì ë°ê²¬íŽ ë³Žìžì.